Stochastic Automata Networks (san) - Modelling and Evaluation
نویسندگان
چکیده
This article describes the use of Stochastic Automata Networks (SAN) as a modelling tool. A SAN model consists of some individual stochastic automata that act more or less independently of each other. An automata is represented by a number of states and probabilistic rules that govern the manner in which it moves from one state to the next. The state of a SAN is given by the state of each of its constituent automata. Although, any SAN model can be converted in a standard Markov chain where traditional solving methods can be applied, numerical solutions using the particular SAN properties can give faster results.
منابع مشابه
Stochastic Automata Networks ( SAN ) - Modellingand
This article describes the use of Stochastic Automata Networks (SAN) as a modelling tool. A SAN model consists of some individual stochastic automata that act more or less independently of each other. An automata is represented by a number of states and probabilistic rules that govern the manner in which it moves from one state to the next. The state of a SAN is given by the state of each of it...
متن کاملPerformance Evaluation of Resource-aware Business Processes Using Stochastic Automata Networks
In this work, we study the performance evaluation of resource-aware business process models. We define a new framework that allows the generation of analytical models for performance evaluation from business process models annotated with resource management information. This framework is composed of a new notation that allows the specification of resource management constraints and a method to ...
متن کاملModelling of Biochemical Reactions by Stochastic Automata Networks
This paper presents a stochastic modelling framework based on stochastic automata networks (SANs) for the analysis of complex biochemical reaction networks. Our approach takes into account the discrete character of quantities of components (i.e. the individual populations of the involved chemical species) and the inherent probabilistic nature of microscopic molecular collisions. Moreover, as fo...
متن کاملMQNA - Markovian Queueing Networks Analyser
This paper describes the MQNA Markovian Queueing Networks Analyser, a software tool to model and obtain the stationary solution of a large class of Queueing Networks. MQNA can directly solve open and closed product-form queueing networks using classical algorithms. For finite capacity queueing models, MQNA generates Markovian description in the Stochastic Automata Networks (SAN) and Stochastic ...
متن کاملParallel PEPS Tool Performance Analysis Using Stochastic Automata Networks
This paper presents a theoretical performance analysis of a parallel implementation of a tool called Performance Evaluation for Parallel Systems (PEPS). This software tool is used to analyze Stochastic Automata Networks (SAN) models. In its sequential version, the execution time becomes impracticable when analyzing large SAN models. A parallel version of PEPS using distributed memory is propose...
متن کامل